Why Engineers Should Consider Formal Methods
نویسنده
چکیده
This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.
منابع مشابه
Control Theory and Economic Policy Optimization: The Origin, Achievements and the Fading Optimism from a Historical Standpoint
Economists were interested in economic stabilization policies as early as the 1930’s but the formal applications of stability theory from the classical control theory to economic analysis appeared in the early 1950’s when a number of control engineers actively collaborated with economists on economic stability and feedback mechanisms. The theory of optimal control resulting from the contributio...
متن کاملFormal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education
Tw o conflicting schools of thought have been dominating software engineering education. One school stresses on the popular software development methodologies, but horror stories on poorly designed systems are not uncommon. The other school advocates formal methods, but most practitioners regard them as impractical. We recommend that we should bridge the gap between the formal and informal by b...
متن کاملAppliances and Software: The Importance of the Buyer’s Warranty and the Developer’s Liability in Promoting the Use of Systematic Quality Assurance and Formal Methods
A vexing question is why systematic quality assurance and formal methods, despite all their advantages, are not used routinely in software development. Other engineering disciplines use their systematic quality assurance and formal methods in producing routinely reliable products. Perhaps the difference between the other engineerings and software engineers lie in the warranties producers must g...
متن کاملAutomated Formal Methods Enter the Mainstream
This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniques are increasingly packaged within tools usable by a wide variety of engineers, is reviewed, as are the promising prospects for the future.
متن کاملWhy, how and what should be taught about Formal Methods?
I started to teach formal methods (FM) in an undergraduate, mandatory course of a Computer Science degree at Universidad Nacional de Rosario (Argentina) in 1998. After all these years I still have more questions than answers. In particular, I still can’t find satisfactory answers to questions I asked to myself back in 1998. However, at the same time, I still believe that I am doing the right th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997